متناهی بودن ایده آل های اول وابسته و قضیه لیختنباوم-هارتشورن برای مدول های کوهمولوژی موضعی نسبت به دو ایده آل

فرض کنید (r,m)‎‎ ‎‎‎یک حلقه ی موضعی (نوتری) وi وj ‎ دوایده آل واقعی از‎ ‎r باشند. فرض کنید‎‎ ‎‎m‎‎ ‎یک ‎-r‎‎مدول غیرصفر با تولیدمتناهی باشد. دراین پایان نامه خواص آخرین مدول کوهمولوژی موضعی‎‎‎ ‎‎‎‎h_(i,j)^dim?m (m) ‎بررسی می شود و بعضی نتایج در مورد ایده آل های اول چسبیده ی مدول های کوهمولوژی موضعی ‎‎‎ ‎‎‎‎h_(i,j)^dim?m (m) را به دست می آوریم. به عنوان نتیجه‎‎‎ یک مدول خارج قسمتی مانند ‎ ‎l‎‎‎ از m ‎ را پیدا می کنیم بطوری که‎‎‎h_i^dim?m (l) h_(i,j)^dim?m (m) ? همچنین تعمیمی از قضیه ی صفرشدن لیختنباوم-هارتشورن برای مدول های کوهمولوژی موضعی نسبت به دو ایده آل را بیان و ثابت می کنیم.